Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...) book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

Epsilon terms indexed by contexts were used by K. von Heusinger to represent definite and indefinite noun phrases as well as some other constructs of natural language. We provide a language and a complete first order system allowing to formalize basic aspects of this representation. The main axiom says that for any finite collection S 1,…,S k of distinct definable sets and elements a 1,…,a k of these sets there exists a choice function assigning a i to S i for (...) all i≤k. We prove soundness and completeness theorems for this system S ε i fin. (shrink)

A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (...) (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid). The organizing Committee consisted of X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria). (shrink)

This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.

Epistemology -- Power I -- Power II -- Subjectivity -- Resistance -- Critique -- Ethics.

This book challenges the common assumption that the predominant focus of the history of science should be the achievements of Western scientists since the so-called Scientific Revolution. The conceptual frameworks within which the members of earlier societies and of modern indigenous groups worked admittedly pose severe problems for our understanding. But rather than dismiss them on the grounds that they are incommensurable with our own and to that extent unintelligible, we should see them as offering opportunities for us to revise (...) many of our own preconceptions. We should accept that the realities to be accounted for are multi-dimensional and that all such accounts are to some extent value-laden. In the process insights from current anthropology and the study of ancient Greece and China especially are brought to bear to suggest how the remit of the history of science can be expanded to achieve a cross-cultural perspective on the problems. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

Modal propositional logic; Modal predicate logic; A survey of modal logic.

The original edition of this directory of professional codes of conduct in the United Kingdom was the first reference book to give information on more than a handful of codes. For the second edition the work has been greatly extended and revised, thereby reflecting both the ever-increasing number of codes and the ongoing interest in them. The main part of the book lists alphabetically nearly 500 UK organizations with codes in use, an increase of some 30 per cent on the (...) previous edition. Each entry gives the name, address, telephone and fax numbers of an organization and either reproduces its code verbatim (to make a total of about 200) or summarizes the content. Approximately 80 per cent of the codes or summaries have undergone changes since first publication. The comprehensive introduction looks at the development, scope and purpose of codes, recent trends and codes in an international context amongst other points, while the extensive index provides an easy and useful approach by topic. (shrink)

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

John Buridan was a fourteenth-century philosopher who enjoyed an enormous reputation for about two hundred years, was then totally neglected, and is now being 'rediscovered' through his relevance to contemporary work in philosophical logic. The final chapter of Buridan's Sophismata deals with problems about self-reference, and in particular with the semantic paradoxes. He offers his own distinctive solution to the well-known 'Liar Paradox' and introduces a number of other paradoxes that will be unfamiliar to most logicians. Buridan also moves on (...) from these problems to more general questions about the nature of propositions, the criteria of their truth and falsity and the concepts of validity and knowledge. This edition of that chapter is intended to make Buridan's ideas and arguments accessible to a wider range of readers. The volume should interest many philosophers, linguists and logicians, who are increasingly finding in medieval work striking anticipations of their own concerns. (shrink)

Normal propositional modal systems This first chapter has two main aims. One is to give a general account of the propositional modal systems that we shall ...